Hybrid Deduction–Refutation Systems
نویسندگان
چکیده
منابع مشابه
Hybrid Regenerating Codes for Distributed Storage Systems
Distributed storage systems are mainly justified due to their ability to store data reliably over some unreliable nodes such that the system can have long term durability. Recently, regenerating codes are proposed to make a balance between the repair bandwidth and the storage capacity per node. This is achieved through using the notion of network coding approach. In this paper, a new variation ...
متن کاملHybrid Techniques for Hybrid Systems
ieniveauworden deze twee soorten gedrag uniform behandeld, als normale el-ementen van de procesalgebra. Hun gedragwordt bepaald door gebruik temaken vanstructural operational semantics (SOS) regels [Plotkin, 1981, 2003]. Verder respecterende regels al de verschillen tussen trajectory prefixes en action prefixes, gebaseerd oponze intuïtie over hoe dergelijke processen zich zouden...
متن کاملHybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce differential dynamic logic as a new logic with which correctness properties of hybrid...
متن کاملSoft Switching MBC Controller for MIMO Linear Hybrid Systems
Switching supervisory is the most important section of a feedback control process inMIMO hybrid systems. By choosing a non-compatible controller, system may go tounstable mode or high overshoot response. In this paper, a new method of switchingfor selecting MBC controllers is discussed. Results of the simulation show the MIMO(2-in 2-out) linear hybrid system can be switched stable and low overs...
متن کاملHarmonics Estimation in Power Systems using a Fast Hybrid Algorithm
In this paper a novel hybrid algorithm for harmonics estimation in power systems is proposed. The estimation of the harmonic components is a nonlinear problem due to the nonlinearity of phase of sinusoids in distorted waveforms. Most researchers implemented nonlinear methods to extract the harmonic parameters. However, nonlinear methods for amplitude estimation increase time of convergence. Hen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axioms
سال: 2019
ISSN: 2075-1680
DOI: 10.3390/axioms8040118